<?php

	function compile_time()
	{
		return microtime(true) - $GLOBALS['_t'];
	}